A Note on Las Vegas OBDDs
نویسندگان
چکیده
Marek Karpinski Rustam Mubarakzjanov y Abstract We prove that the error-free (Las Vegas) randomized OBDDs are computationally equivalent to the deterministic OBDDs. In contrast, it is known the same is not true for the Las Vegas read-once branching programs.
منابع مشابه
On the Power of Las Vegas for One-Way Communication Complexity, OBDDs, and Finite Automata
The study of the computational power of randomized computations is one of the central tasks of complexity theory. The main goal of this paper is the comparison of the power of Las Vegas computation and deterministic respectively nondeterministic computation. We investigate the power of Las Vegas computation for the complexity measures of one-way communication, ordered binary decision diagrams, ...
متن کاملA Las Vegas algorithm to solve the elliptic curve discrete logarithm problem
In this short note, we develop a probabilistic algorithm for the elliptic curve discrete logarithm problem. This algorithm is not generic in nature, it uses some properties of the elliptic curve. The probability of success of this Las Vegas algorithm depends on the size of a matrix. We show that if we choose a suitable matrix the probability is asymptotically constant.
متن کاملOn the Power of Las Vegas for One-way Communication Complexity, Finite Automata, and Polynomial-time Computations
The study of the computational power of randomized computations is one of the central tasks of complexity theory. The main goal of this paper is the comparison of the power of Las Vegas computation and deterministic respectively nondeterministic computation. We investigate the power of Las Vegas computation for the complexity measures of one-way communication, nite automata and polynomial-time ...
متن کاملLeaving Las Vegas: Exposure to Las Vegas and risk of suicide.
Residents of Las Vegas, Nevada have much higher suicide rates than residents of other metropolitan counties in the USA. Whether the risk of suicide among visitors to Las Vegas is also significantly elevated has been difficult to assess because person-time denominator information is not available. We used a case-control design to examine the association between exposure to Las Vegas and risk of ...
متن کاملSpielend Sortieren mit Las Vegas Cardsort
Las Vegas Cardsort ist ein einfaches Lernspiel, in dem die Spieler Karten sortieren. Las Vegas Cardsort wird von Schülern nicht als ein Lernprogramm, sondern als ein Minispiel wahrgenommen, dementsprechend hoch ist die Motivation und die Bereitschaft, mit Las Vegas Cardsort zu arbeiten. Es ergeben sich vielfältige Einsatzmöglichkeiten für den Unterricht. Las Vegas Cardsort kann auch ohne Progra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electronic Colloquium on Computational Complexity (ECCC)
دوره 6 شماره
صفحات -
تاریخ انتشار 1999